81. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
82. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
83. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
84. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
85. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
86. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,System analysis, Congresses.
87. Fractional calculus and its applications: Proceedings of the international Conference held at the University of New Haven, June 1974
پدیدآورنده : edited by Bertram Ross
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Calculus
رده :
QA
3
.
L28
no
.
457
88. Fractional calculus and its applications :proceedings of the International Conference held at the Center of Nihon University, Tokyo, May 29-June, 1, 1989 : the 100th anniversary of Nihon University
پدیدآورنده : edited by Katsuyuki Nishimoto
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Fractional calculus
رده :
QA
303
.
F673
89. Fractional calculus and its applications : proceedings of the international conference held at the University of New Haven, June, 1974
پدیدآورنده : edited by Bertram Ross
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Fractional calculus
رده :
QA
303
.
F7
1974
90. Fractional calculus and its applications: proceedings of the international conference held at the University of New Haven, June, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Fractional calculus
رده :
QA
3
.
L28
no
.
457
91. From stochastic calculus to mathematical finance
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Stochastic analysis ; Congresses. ; Business mathematics ; Congresses. ;
92. From stochastic calculus to mathematical finance
پدیدآورنده : / Yu. Kabanov, R. Lipster, J. Stoyanov
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Stochastic analysis--Congresses,Business mathematics--Congresses
رده :
QA
,
274
.
2
,.
B33
,
2005
93. Frontiers in PDE-constrained optimization /
پدیدآورنده : Harbir Antil, Drew P. Kouri, Martin-D. Lacasse, Denis Ridzal, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constrained optimization, Congresses.,Differential equations, Partial, Congresses.,Applied mathematics.,Constrained optimization.,Differential calculus & equations.,Differential equations, Partial.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Optimization.,Topology.
رده :
QA402
.
5
94. Frontiers of applied mathematics :
پدیدآورنده : editors, Din-Yu Hsieh, Meirong Zhang, Weitao Sun.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering mathematics.,Mathematics, Congresses.,Engineering mathematics.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
رده :
QA1
.
I88345
2006eb
95. Fundamental approaches to software engineering :
پدیدآورنده : FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Software Engineering,Software engineering -- Congresses.,Software engineering.
96. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
97. Geometric analysis and computer graphics : proceedings of a Workshop held May 23-25, 1988
پدیدآورنده : Paul Concus, Robert Finn, David A. Hoffman, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry, Differential,Congresses ، Computer graphics,Data processing -- Congresses ، Calculus of variations
رده :
QA
641
.
W633
1988
98. Geometric analysis and computer graphics : proceedings of a workshop held May 23-25, 1988
پدیدآورنده : P. Concus, R. Finn, D.A. Hoffman, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Geometry, Differential,Congresses ، Computer graphics,Data processing - Congresses ، Calculus of variations
رده :
QA
1
.
M3
v
.
17
99. Geometric analysis and computer graphics : proceedings of a workshop held May 23-25, 1988
پدیدآورنده : P. Concus, R. Finn, D.A. Hoffman, editors
موضوع : Geometry, Differential - Data processing - Congresses,Computer graphics - Congresses,Calculus of variations - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
100. Geometric analysis and computer graphicsi proceedings of a workshop held may 23 - 25 , 1988
پدیدآورنده : p. concus R. finn D.A.Hoffman editors
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Geometry , Differential _ Data processing _ congresses,Computer grapnies _ Conglesses,calculus of variations _ Data processing _ congresses
رده :
QA
641
.
G4
